1. Verification techniques for system-level design
المؤلف: Fujita, Masahiro
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Systems on a chip-- Testing,، Integrated circuits-- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42
.
F95
2008
2. Verification techniques for system-level design /
المؤلف: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
F95
2008eb
3. Verification techniques for system-level design
المؤلف: Fujita, Masahiro, 6591-
المکتبة: (طهران)
موضوع: Testing ، Systems on a chip,، Integrated circuits -- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42F84
4. Verification techniques for system-level design
المؤلف: / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Systems on a chip -- Testing,Integrated circuits -- Verification,Formal methods (computer science)
رده :
TK7895
.
E42F95
2008
